Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
451	Relational program logics in decomposed style Lennart Beringer ∗ Department of Computer Science, Princeton University, 35 Olden Street, Princeton NJ 08540 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2010-08-09 16:46:30 Model theory Formal languages Mathematical logic Structure Universal algebra Interpretation Relational algebra Substitution
452	FliPpr: A Prettier Invertible Printing System Kazutaka Matsuda1 and Meng Wang2 1 2 Add to Reading List Source URL: www2.sf.ecei.tohoku.ac.jp Language: English - Date: 2013-05-31 02:47:36 Software engineering Computer programming Parsing algorithms Software Functional programming Parsing Logic in computer science Compiler construction Top-down parsing Monad Compiler-compiler Combinatory logic
453	RAC Rev. R. Acad. Cien. Serie A. Mat. VOL), 2004, pp. 153–180 Ciencias de la Computaci´on / Computational Sciences Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2006-07-26 07:36:55 Mathematics Logic Theoretical computer science Mathematical logic Automated theorem proving Type theory Logic in computer science Nqthm Mathematical induction Mathematical proof Recursive definition Induction
454	Mostly Sound Type System Improves a Foundational Program Verifier Josiah Dodds and Andrew W. Appel Princeton University Abstract. We integrate a verified typechecker with a verified program Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2013-09-23 14:54:00 Software engineering Computing Logic Data types Functional programming Lambda calculus Type theory Logic in computer science Eval Hoare logic Anonymous function Separation logic
455	Application for a Dagstuhl Seminar Deduction and Arithmetic Nikolaj Bjørner Reiner H¨ahnle Tobias Nipkow Add to Reading List Source URL: www.dagstuhl.de Language: English - Date: 2010-04-21 04:49:56 Theoretical computer science Mathematical logic Logic Logic in computer science Automated theorem proving Formal methods Model theory Satisfiability modulo theories Automated reasoning Presburger arithmetic First-order logic Formal verification
456	RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky Add to Reading List Source URL: hott-uf.gforge.inria.fr Language: English - Date: 2015-07-04 05:55:41 Mathematics Academia Mathematical logic Type theory Abstract algebra Logic in computer science Mathematical structures Formal methods Intuitionistic type theory Expression Lambda calculus Universal algebra
457	The Church-Scott representation of inductive and coinductive data in (typed) λ calculus Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2014-05-15 11:45:56 Computability theory Lambda calculus Recursion Theoretical computer science Type theory Combinatory logic Church encoding Initial algebra Primitive recursive function
458	Proceedings of the Seventh Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software Add to Reading List Source URL: places14.di.fc.ul.pt Language: English - Date: 2014-02-18 12:47:10 Proof theory Logic in computer science
459	Self-Programming: Operationalizing Autonomy Eric Nivel & Kristinn R. Thórisson Center for Analysis and Design of Intelligent Agents / School of Computer Science, Reykjavik University Kringlunni 1, 103 Reykjavik, Iceland Add to Reading List Source URL: xenia.media.mit.edu Language: English - Date: 2009-04-20 17:15:09 Computing Logic in computer science Theoretical computer science Programming paradigms Software engineering Formal methods Semantics Abstraction Entry point Actor model Computer programming Computer-aided design
460	TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis JUNGHEE LIM GrammaTech, Inc. and THOMAS REPS Add to Reading List Source URL: research.cs.wisc.edu Language: English - Date: 2013-03-05 23:54:33 Logic in computer science Programming language semantics Programming language implementation Compiler construction Formal methods Abstract interpretation Semantics Static program analysis Syntax GrammaTech Denotational semantics Compiler

UPDATE